(defun TRADUCIR(SOL)
	(APPEND '(IR POR) (BUSCALLE (CAR SOL) (CADR SOL) CALLES)
		'(HASTA) (BUSCALLE (CADR SOL) (CADDR SOL) CALLES)
		(IF (NULL (CADDR SOL)) NIL
			(APPEND
				'(LUEGO)
				(TRADUCIR (CDR SOL))
			)
		)
	)
)

(defun BUSCALLE(A B CALLES)
	(IF (NULL B) '(DESTINO)
		(IF (NULL CALLES) NIL
			(IF (AND (EQ(CAAR CALLES)A) (EQ(CADAR CALLES)B)) (CADDAR CALLES)
				(BUSCALLE A B (CDR CALLES))
			)
		)
	)
)